Space Bounds for Adaptive Renaming
نویسندگان
چکیده
We study the space complexity of implementing long-lived and one-shot adaptive renaming from multi-reader multi-writer registers, in an asynchronous distributed system with n processes. As a result of an f -adaptive renaming algorithm each participating process gets a distinct name in the range {1, . . . , f (k)} provided k processes participate. Let f : {1, . . . ,n}→N be a non-decreasing function satisfying f (1)≤ n−1 and let d = max{x | f (x)≤ n − 1}. We show that any non-deterministic solo-terminating long-lived f -adaptive renaming object requires d + 1 registers. This implies a lower bound of n− c registers for long-lived (k + c)-adaptive renaming, which we observe is tight. We also prove a lower bound of ⌊2(n−c) c+2 ⌋ registers for implementing any non-deterministic soloterminating one-shot (k+ c)-adaptive renaming. We provide two one-shot renaming algorithms: a waitfree algorithm and an obstruction-free algorithm. Each algorithm employs a parameter to depict the tradeoff between space and adaptivity. When these parameters are chosen appropriately, this results in a wait-free one-shot (3k 2 2 )-adaptive renaming algorithm from ⌈ √ n⌉+1 registers, and an obstruction-free one-shot f -adaptive renaming algorithm from only min{n,x | f (x)≥ 2n}+1 registers. [email protected], +1 403 210-9416 [email protected], +1 403 220-7696 [email protected], +1 403 220-7259
منابع مشابه
Sub-logarithmic Randomized Loose Renaming
Renaming is a classic distributed coordination task in which a set of processes must pick distinct identifiers from a small namespace. In this paper, we consider the time complexity of this problem when the namespace is linear in the number of participants, a variant known as loose renaming. We give a non-adaptive algorithm withO(log logn) (individual) step complexity, where n is a known upper ...
متن کاملA Tight Bounds for Asynchronous Renaming1
This paper presents the first tight bounds on the time complexity of shared-memory renaming, a fundamental problem in distributed computing in which a set of processes need to pick distinct identifiers from a small namespace. We first prove an individual lower bound of Ω(k) process steps for deterministic renaming into any namespace of size sub-exponential in k, where k is the number of partici...
متن کاملFrom adaptive renaming to set agreement
The adaptive M-renaming problem consists of providing processes with a new name taken from a name space whose size M depends only on the number p of processes that participate in the renaming (and not on the total number n of processes that could ask for a new name). The k-set agreement problem allows each process that proposes a value to decide a proposed value in such a way that at most k dif...
متن کاملFrom Renaming to Set Agreement
The M -renaming problem consists in providing the processes with a new name taken from a new name space of size M . A renaming algorithm is adaptive if the size M depends on the number of processes that want to acquire a new name (and not on the total number n of processes). Assuming each process proposes a value, the k-set agreement problem allows each process to decide a proposed value in suc...
متن کاملAn Equivariance Theorem with Applications to Renaming (Preliminary Version)
In the renaming problem, each process in a distributed system is issued a unique name froma large name space, and the processes must coordinate with one another to choose unique namesfrom a much smaller name space.We show that lower bounds on the solvability of renaming in an asynchronous distributedsystem can be formulated as a purely topological question about the existenc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014